As software systems increasingly are used to control critical infrastructure, transportation systems and factory equipment, the use of proper testing methods has become more important. Systems that can cause harm to people, ...